Msg $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Msg(es{-}M(${\it es}$))